Prove (cos x cos y)